var S$ = require('S$');
var a = S$.symbol('a', '');

if (a.repeat(5) == 'HHHHH') {
}
